to_json

pure function to_json(): json

Encodes this gtv to a json representation.

Since

0.9.0